Transformation languages - PDFSEARCH.IO - Document Search Engine

Transformation languages
Results: 419

#	Item
101	XML the charles f. goldfarb definitive xml series THE Add to Reading List Source URL: www.xmlhandbook.com Language: English - Date: 2003-11-29 16:49:17 XSLT XML XQuery Standard Generalized Markup Language XSL XPath 1.0 XPath World Wide Web Consortium XML transformation language Computing Web standards Markup languages
102	Keeping it Clean with Syntax Parameters Eli Barzilay, Ryan Culpepper, Matthew Flatt 1 Macros Add to Reading List Source URL: www.schemeworkshop.org Language: English - Date: 2011-11-05 13:18:14 Transformation languages Source code Dylan programming language Hygienic macro Meta-programming Scheme programming language Macro C preprocessor C Computer programming Computing Software engineering
103	Transformation Rules for Z Add to Reading List Source URL: cjtcs.cs.uchicago.edu Language: English - Date: 2011-06-02 16:36:02 Automated theorem proving Logic programming Unification First-order logic Regular expression Z notation Cyc Rule of inference Logic Mathematical logic Formal languages
104	Manuel Hermenegildo Areas of Interest Energy-Aware Computing, Resource / non-functional property analysis, verification, and control; Global Program Analysis, Optimization, Verification, Debugging; Abstract Interpretatio Add to Reading List Source URL: www.clip.dia.fi.upm.es Language: English - Date: 2014-07-12 00:42:10 Programming paradigms Formal sciences Association for Computing Machinery Principles of Programming Languages Formal methods International Conference on Logic Programming Logic programming International Symposium on Logic-based Program Synthesis and Transformation Lecture Notes in Computer Science Computer science Computing Software engineering
105	Implementing R7RS on an R6RS Scheme system Takashi Kato Bell ID B.V. Abstract Add to Reading List Source URL: www.schemeworkshop.org Language: English - Date: 2014-11-11 12:30:16 Lisp programming language Scheme programming language Functional languages Transformation languages Scheme Hygienic macro Symbol S-expression Lisp Computing Software engineering Computer programming
106	The doc and shortvrb Packages∗ Frank Mittelbach† May 12, 2015 This file is maintained by the LATEX Project team. Bug reports can be opened (category latex) at http://latex-project.org/bugs.html. Add to Reading List Source URL: mirror.easyname.at Language: English - Date: 2015-05-12 06:23:16 Macro programming languages Transformation languages LaTeX TeX Macro C preprocessor Man page Make Preprocessor Software Computing Application software
107	User guide Modelit XML Toolbox for Matlab Manual: Add to Reading List Source URL: www.modelit.nl Language: English - Date: 2014-10-29 10:00:15 Open formats Technical communication XML MATLAB XSLT XML transformation language Oxygen XML Editor Computing Markup languages Computer file formats
108	How to Write Seemingly Unhygienic and Referentially Opaque Macros with Syntax-rules Oleg Kiselyov∗ Software Engineering, Naval Postgraduate School, Monterey, CA 93943 , Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:29 Transformation languages Source code Macro programming languages Dylan programming language Hygienic macro Scheme programming language Scheme Macro Syntactic closure Computing Software engineering Computer programming
109	Keeping it Clean with Syntax Parameters Eli Barzilay Ryan Culpepper Matthew Flatt Add to Reading List Source URL: www.schemeworkshop.org Language: English - Date: 2011-10-17 13:23:12 Source code Transformation languages C programming language Dylan programming language Hygienic macro Scheme programming language Macro Scheme Racket Computing Computer programming Software engineering
110	TIMES Version 3.8 User Note User Control Switches in TIMES Antti Lehtilä, VTT (Updated: May 1, 2015) Add to Reading List Source URL: www.iea-etsap.org Language: English - Date: 2015-05-11 08:58:07 Mathematical modeling Transformation languages Computing Macro Source code

UPDATE